Measuring precision of modeled behavior
نویسندگان
چکیده
منابع مشابه
Measuring precision of modeled behavior
Conformance checking techniques compare observed behavior (i.e., event logs) with modeled behavior for a variety of reasons. For example, discrepancies between a normative process model and recorded behavior may point to fraud or inefficiencies. The resulting diagnostics can be used for auditing and compliance management. Conformance checking can also be used to judge a process model automatica...
متن کاملMeasuring Shape Analysis Precision
Shape analysis is a static program analysis technique for discovering properties of heap-allocated data structures. It is crucial to finding software bugs or to verify highlevel correctness properties. Various analyses have been introduced but their relation in terms of precision often remains unclear as different analyses use different abstractions of the heap. The aim of our work is to compar...
متن کاملHigh-Precision Angle Measuring Technology and High-Precision Angle Sensor
High-resolution and high-precision angle sensors are expected for nanotechnology control system. The technology for manufacturing high-precision disks, and the measurement evaluation technology through the angle calibration system, and the development of a high-resolution optical angle sensor with high-precision and a self-accuracy calibrating function was achieved. This was accomplished using ...
متن کاملMemory-Efficient Alignment of Observed and Modeled Behavior
Experience shows that in systems where process executions are not strictly enforced by process models, often deviations occur. Alignments between logged process executions and models reveal useful insights and can be used for both conformance checking and performance analysis. In this article, we present a memory-efficient approach using marking equations of Petri nets to calculate optimal alig...
متن کاملProceedings of Measuring Behavior 2005
s book The abstracts book contains the summaries of all 296 conference presentations, listed alphabetically by first author. Conference CD Bundled with the abstracts book is the conference CD. This disk, published for the first time for Measuring Behavior 2005, contains 220 papers presented at the conference. A search function is provided, allowing you to find papers by author, co-author, title...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information Systems and e-Business Management
سال: 2014
ISSN: 1617-9846,1617-9854
DOI: 10.1007/s10257-014-0234-7